проективный морфизм

См. также в других словарях:

• СОБСТВЕННЫЙ МОРФИЗМ — морфизм схем, отделимый, универсально замкнутый и имеющий конечный тип. Морфизм схем f : наз. замкнутым, если для любого замкнутого множество f(Z) замкнуто в Y, и универсально замкнутым, если для любой замены базы замкнут морфизм Свойство быть С …   Математическая энциклопедия

• ПРОЕКТИВНЫЙ ПРЕДЕЛ — обратный пре д е л, конструкция, возникшая первоначально в теории множеств и топологии, а затем нашедшая широкое применение во многих разделах математики. Наиболее часто используется П. п. семейства однотипных мате матич. структур,… …   Математическая энциклопедия

• ПРОЕКТИВНЫЙ ОБЪЕКТ — категории понятие, формализующее свойства ретрактов (или прямых слагаемых) свободных групп, свободных модулей и т. п. Объект Ркатегории наз. проективным, если для всякого эпиморфизма и произвольного морфизма найдется такой морфизм , что g=g v… …   Математическая энциклопедия

• РИМАНА - РОХА ТЕОРЕМА — теорема, позволяющая выразить эйлерову характеристику c(Е). локально свободного пучка Ена алгебраическом или аналитич. многообразии Xв терминах характеристич. классов Чжэня пучка Еи многообразия X. Она может быть применена для вычисления… …   Математическая энциклопедия

• ПИКАРА СХЕМА — естественное обобщение в рамках теории схем понятия Пикара многообразия гладкого алгебраич. многообразий X. Для определения П. с. произвольной S схемы Храссматривается относительный функтор Пикара PicX/S на категории Sch/S схем над схемой S.… …   Математическая энциклопедия

• ПОЛЯРИЗОВАННОЕ АЛГЕБРАИЧЕСКОЕ МНОГООБРАЗИЕ — пара (V,x)> где V полное гладкое многообразие над алгебраически замкнутым полем k,| из Pic V/PicoV класс нек рого обильного обратимого пучка, PicoV связная компонента абелевой схемы Пикара Pic V. В случае, когда V абелево многообразие,… …   Математическая энциклопедия

• СХЕМА — окольцованное пространство, локально изоморфное аффинной схеме. Подробнее, С. состоит из топологич. пространстна X (базисного пространства схемы) и пучка коммутативных колец с единицей на Х (структурного пучка схемы); при этом должно существовать …   Математическая энциклопедия

• МОНОИДАЛЬНОЕ ПРЕОБРАЗОВАНИЕ — раздутие, s процесс, специального вида бирациональный морфизм алгебраич. многообразий или биме роморфный морфизм аналитич. ространств. Пусть, напр., X алгебраич. многообразие (или произвольная схема), а замкнутое подмногообразие, задаваемое… …   Математическая энциклопедия

• ПОЛНОЕ АЛГЕБРАИЧЕСКОЕ МНОГООБРАЗИЕ — обобщение понятия компактного комплексного алгебраич. многообразия. Многообразие Xназ. полным, если для любого многообразия Yпроекция является замкнутым морфизмом, т. е. переводит замкнутые (в топологии Зариского) подмножества в замкнутые… …   Математическая энциклопедия

• ПРОЕКТИВНАЯ СХЕМА — замкнутая подсхема проективного пространства ; в однородных координатах x0, . . ., х п на проективная схема задается системой однородных алгебраич. уравнений: Каждая П. с. является полной (компактной в случае k= ); обратно, полная схема… …   Математическая энциклопедия

• ВЕКТОРНОЕ АНАЛИТИЧЕСКОЕ РАССЛОЕНИЕ — локально тривиальное аналитич. расслоение над аналитич. ространством, слои к рого обладают структурой n мерного векторного пространства над основным полем k(если иоле комплексных чисел, то аналитич. расслоение наз. также голоморфны м). Число пназ …   Математическая энциклопедия